Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.
Simulator of logic with rgb unity 2018.2.14f1
Service Fabric Auto-Repair Service with Declarative Logic for Repair Policy Specification. Targets both Windows and Linux SF clusters.
A simple IDE with integrated Prolog-inspired logic programming language. Semester project.
An Industrial Estate Generator for the Videogame Cities: Skylines® using Logic Programming (Answer Set Programming)
The core of SymOntoClay Engine. SymOntoClay Engine is a hybrid language with logic programming and fuzzy logic for defining game characters' behavior.
The node flow diagramm creator for the HomePLC System
Kanrenmō - miniKanren for .NET
Logical programming tool that works similar to Prolog program. It's goal to simplify and extend prolog features and provide easy integration with mapping tool.
Naive, bottom-up Datalog semantics, in about 200 lines
A C# bindings of Clingo library
An in-memory logical database solution for games, based on the Praxis language used in the Versu engine.
Amostragem dos exercícios resolvidos com base nos exercícios propostos no Beecrowd, feitos inteiramente em C#.
This course presents a formal approach to logical thinking and problem solving using mathematical and programming logic structures.
Unity components of SymOntoClay Engine. SymOntoClay Engine is a hybrid language with logic programming and fuzzy logic for defining game characters behavior.
Este repositório é dedicado aos meus estudos de lógica de programação utilizando a linguagem C#.
Projects created in the Logic and Programming subject of the computer science technical course.
[pt-br] Notas das matérias do curso de ADS da PUC-Minas
Este repositório reúne soluções de exercícios em C# dos cursos BeeCrowd, Lógica em C# e Programação Orientada a Objetos em C#. Ele tem como objetivo aprimorar as habilidades em lógica de programação, estruturas de dados e POO, abordando conceitos fundamentais e algoritmos essenciais em C#.
Add a description, image, and links to the logic-programming topic page so that developers can more easily learn about it.
To associate your repository with the logic-programming topic, visit your repo's landing page and select "manage topics."